Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
81	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
82	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: www.mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation
83	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory
84	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
85	Memphis Language Reference Manual This document specifies Memphis, an extension of C/C++ [1, 2], that supports the definition and processing of symbolic data such as abstract syntax trees in compilers. Memphis provides a Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:40 Procedural programming languages Type theory Standard ML Conditional Pattern matching ALGOL 68 Hindley–Milner Forward declaration C syntax Software engineering Programming language theory Computing
86	Version 0.8.0 ´ Anoq of the Sun, Hardcore Processing ∗ Add to Reading List Source URL: www.hardcoreprocessing.com Language: English - Date: 2007-10-03 17:58:17 Procedural programming languages Functional languages Standard ML ALGOL 68 Tree traversal Sequence container Circular buffer D Computing Software engineering Computer programming
87	Lemma 1 Ref: DS/FMU/FEF/020 DRA FRONT END FILTER PROJECT Issue: Revision : 2 .2 Specification of Query Transformations in SML (II) Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:00 Programming language theory Computer programming Standard ML ML Procedural programming languages Functional languages Software engineering
88	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-30 06:08:05 Programming language theory Type theory Data types Type systems Standard ML Caml F Sharp Increment and decrement operators Area Software engineering Computing Functional languages
89	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
90	37003_C&A_Foundation_AR2014_ML_15Aug_P04.indd Add to Reading List Source URL: candafoundation.org Language: English - Date: 2015-05-05 00:22:01 Sustainable agriculture Organic food Environmentalism Environmental social science Cotton Organic farming Organic cotton Sustainable business Global Organic Textile Standard Environment Sustainability Agriculture